left homotopy inverse

(左)同伦逆元